Carnegie Mellon University Formal Hardware Verification by Symbolic Trajectory Evaluation
نویسنده
چکیده
منابع مشابه
Formal Hardware Verification with BDDs: An Introduction
Thispaper is a brief introduction to the main paradigms for using BDDs in formal hardware verification. The paperaddresses two audiences: for people doing theoretical BDD research, the paper gives a glimpse of the problems in the main application area, and for people building hardware, the paper gives a peek under the hood of the formal verification technologies that are rapidly gaining industr...
متن کاملExplaining Symbolic Trajectory Evaluation by Giving It a Faithful Semantics
Symbolic Trajectory Evaluation (STE) is a formal verification technique for hardware. The current STE semantics is not faithful to the proving power of existing STE tools, which obscures the STE theory unnecessarily. In this paper, we present a new closure semantics for STE which does match the proving power of STE model-checkers, and makes STE easier to understand.
متن کاملSynthesis and verification of self-aware systems
Self-aware computing systems are envisaged to exploit the knowledge of their own software architecture, hardware infrastructure and environment in order to follow high-level goals through proactively adapting as their environment evolves. This chapter describes two classes of key enabling techniques for self-adaptive systems: automated synthesis and formal verification. The ability to dynamical...
متن کاملFormal Verification of PowerPC(TM) Arrays using Symbolic Trajectory Evaluation
assertions IMPLEMENTATION
متن کاملHardware Dependability in the Presence of Soft Errors
Using formal verification for designing hardware designs free from logic design bugs has been an active area of research since the last 15 years. Technology has matured and we have a choice of formal tools such as model checkers, equivalence checkers, and a range of theorem provers. Hardware reliability and fault tolerance has been studied for a long time as well, and some good solutions in the...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1997